1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Abstract Objects :
پدیدآورنده : by Edward N. Zalta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Philosophy (General),Science -- Philosophy.
3. Axiomatic method and category theory
پدیدآورنده : Rodin, Andrei, Andrei Rodin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
رده :
QA248
4. Centennial year number
پدیدآورنده : by James K. Feibleman, Paul G. Morrison, Andrew J. Reck, Harold N. Lee, Edward G. Ballard, Richard L. Barber, Carl H. Hamburg, Robert C. Whittemore.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy & Religion.,Philosophy.
رده :
B21
.
B953
1959
5. Defending the Axioms
پدیدآورنده : / Penelope Maddy
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Axiomatic set theory,Axiomatic set theory, Philosophy,Axioma's, gtt,Axiomatische methode, gtt,Axiomatische Methode., swd,Mengenlehre., swd,Philosophie., swd
رده :
QA248
.
M276
2011
6. Defending the axioms
پدیدآورنده : / Penelope Maddy.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
رده :
QA248
.
M276
2011
7. Defending the axioms :
پدیدآورنده : Penelope Maddy
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axiomatic set theory,Axiomatic set theory-- Philosophy
8. Defending the axioms : on the philosophical foundations of set theory
پدیدآورنده : Maddy, Penelope
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,Philosophy ، Axiomatic set theory
رده :
QA
248
.
M23D4
9. Essays on the Foundations of Mathematics by Moritz Pasch
پدیدآورنده : edited by Stephen Pollard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy.
10. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
11. Formal Aspects of Measurement :
پدیدآورنده : edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
12. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
13. Heisenberg's Uncertainties and the Probabilistic Interpretation of Wave Mechanics
پدیدآورنده : by Louis Broglie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physics.,Quantum theory.,Science-- Philosophy.
14. Outline of a Nominalist Theory of Propositions :
پدیدآورنده : by Paul Gochet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
15. Outline of a Nominalist Theory of Propositions :
پدیدآورنده : by Paul Gochet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
B67
.
B973
1980
16. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
